Optimal. Leaf size=81 \[ \frac {4 \sqrt {2+3 x} \sqrt {3+5 x}}{77 \sqrt {1-2 x}}+\frac {2 \sqrt {\frac {5}{7}} \sqrt {-3-5 x} E\left (\sin ^{-1}\left (\sqrt {5} \sqrt {2+3 x}\right )|\frac {2}{35}\right )}{11 \sqrt {3+5 x}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 81, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {106, 21, 115,
114} \begin {gather*} \frac {2 \sqrt {\frac {5}{7}} \sqrt {-5 x-3} E\left (\text {ArcSin}\left (\sqrt {5} \sqrt {3 x+2}\right )|\frac {2}{35}\right )}{11 \sqrt {5 x+3}}+\frac {4 \sqrt {3 x+2} \sqrt {5 x+3}}{77 \sqrt {1-2 x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 21
Rule 106
Rule 114
Rule 115
Rubi steps
\begin {align*} \int \frac {1}{(1-2 x)^{3/2} \sqrt {2+3 x} \sqrt {3+5 x}} \, dx &=\frac {4 \sqrt {2+3 x} \sqrt {3+5 x}}{77 \sqrt {1-2 x}}-\frac {2}{77} \int \frac {-\frac {15}{2}+15 x}{\sqrt {1-2 x} \sqrt {2+3 x} \sqrt {3+5 x}} \, dx\\ &=\frac {4 \sqrt {2+3 x} \sqrt {3+5 x}}{77 \sqrt {1-2 x}}+\frac {15}{77} \int \frac {\sqrt {1-2 x}}{\sqrt {2+3 x} \sqrt {3+5 x}} \, dx\\ &=\frac {4 \sqrt {2+3 x} \sqrt {3+5 x}}{77 \sqrt {1-2 x}}+\frac {\left (15 \sqrt {-3-5 x}\right ) \int \frac {\sqrt {\frac {3}{7}-\frac {6 x}{7}}}{\sqrt {-9-15 x} \sqrt {2+3 x}} \, dx}{11 \sqrt {7} \sqrt {3+5 x}}\\ &=\frac {4 \sqrt {2+3 x} \sqrt {3+5 x}}{77 \sqrt {1-2 x}}+\frac {2 \sqrt {\frac {5}{7}} \sqrt {-3-5 x} E\left (\sin ^{-1}\left (\sqrt {5} \sqrt {2+3 x}\right )|\frac {2}{35}\right )}{11 \sqrt {3+5 x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 2.69, size = 61, normalized size = 0.75 \begin {gather*} \frac {2}{77} \left (\frac {2 \sqrt {2+3 x} \sqrt {3+5 x}}{\sqrt {1-2 x}}-i \sqrt {33} E\left (i \sinh ^{-1}\left (\sqrt {9+15 x}\right )|-\frac {2}{33}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(132\) vs.
\(2(60)=120\).
time = 0.10, size = 133, normalized size = 1.64
method | result | size |
default | \(-\frac {\sqrt {1-2 x}\, \sqrt {2+3 x}\, \sqrt {3+5 x}\, \left (33 \sqrt {2}\, \sqrt {2+3 x}\, \sqrt {-3-5 x}\, \sqrt {1-2 x}\, \EllipticF \left (\frac {\sqrt {28+42 x}}{7}, \frac {\sqrt {70}}{2}\right )+2 \sqrt {2}\, \sqrt {2+3 x}\, \sqrt {-3-5 x}\, \sqrt {1-2 x}\, \EllipticE \left (\frac {\sqrt {28+42 x}}{7}, \frac {\sqrt {70}}{2}\right )+60 x^{2}+76 x +24\right )}{77 \left (30 x^{3}+23 x^{2}-7 x -6\right )}\) | \(133\) |
elliptic | \(\frac {\sqrt {-\left (3+5 x \right ) \left (-1+2 x \right ) \left (2+3 x \right )}\, \left (-\frac {2 \left (-30 x^{2}-38 x -12\right )}{77 \sqrt {\left (-\frac {1}{2}+x \right ) \left (-30 x^{2}-38 x -12\right )}}+\frac {5 \sqrt {28+42 x}\, \sqrt {-15 x -9}\, \sqrt {21-42 x}\, \EllipticF \left (\frac {\sqrt {28+42 x}}{7}, \frac {\sqrt {70}}{2}\right )}{539 \sqrt {-30 x^{3}-23 x^{2}+7 x +6}}-\frac {10 \sqrt {28+42 x}\, \sqrt {-15 x -9}\, \sqrt {21-42 x}\, \left (-\frac {\EllipticE \left (\frac {\sqrt {28+42 x}}{7}, \frac {\sqrt {70}}{2}\right )}{15}-\frac {3 \EllipticF \left (\frac {\sqrt {28+42 x}}{7}, \frac {\sqrt {70}}{2}\right )}{5}\right )}{539 \sqrt {-30 x^{3}-23 x^{2}+7 x +6}}\right )}{\sqrt {1-2 x}\, \sqrt {2+3 x}\, \sqrt {3+5 x}}\) | \(201\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.16, size = 30, normalized size = 0.37 \begin {gather*} -\frac {4 \, \sqrt {5 \, x + 3} \sqrt {3 \, x + 2} \sqrt {-2 \, x + 1}}{77 \, {\left (2 \, x - 1\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\left (1 - 2 x\right )^{\frac {3}{2}} \sqrt {3 x + 2} \sqrt {5 x + 3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{{\left (1-2\,x\right )}^{3/2}\,\sqrt {3\,x+2}\,\sqrt {5\,x+3}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________